Results for 'International Conference on Principles and Practice of Constraint Programming'

985 found
Order:
  1.  9
    Over-Constrained Systems.Michael Jampel, Eugene C. Freuder, Michael Maher & International Conference on Principles and Practice of Constraint Programming - 1996 - Springer Verlag.
    This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Proceedings of the 10th International Conference on Biomedical Ontology (ICBO 2019).Alexander D. Diehl, William D. Duncan & Gloria Sansò (eds.) - 2021
    The 10th International Conference on Biomedical Ontology (ICBO 2019), was held at the Jacobs School of Medicine and Biomedical Sciences of the University at Buffalo, in Buffalo, NY, USA. It was the 10-year anniversary of the ICBO series, and the return of the conference to Buffalo after the first two ICBO conferences were held in Buffalo in 2009 and 2011. ICBO 2019 was well attended, with 115 registered attendees and additional walk-ins from the local academic community. The (...)
     
    Export citation  
     
    Bookmark  
  3. The Process of Doctoral Research Constraints and Opportunities.David Allen & National Conference on Doctoral Research in Management and Industrial Relations - 1982 - Health Services Management Unit, Dept. Of Social Administration, University of Manchester.
     
    Export citation  
     
    Bookmark  
  4.  9
    Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, Iea/Aie 2017, Arras, France, June 27-30, 2017, Proceedings, Part I.Salem Benferhat, Karim Tabia & Moonis Ali (eds.) - 2017 - Springer Verlag.
    The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017. The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180 submissions. They are organized in topical sections: constraints, planning, and optimization; data mining and machine learning; sensors, signal processing, and data (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. {PRIMA} 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings. Lecture Notes in Computer Science 10621,.Daniele Porello, Nicolas Triquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz & Rafael Penaloza (eds.) - 2017
    No categories
     
    Export citation  
     
    Bookmark  
  6. Bioethics and Biolaw.Peter Kemp, Jacob Dahl Rendtorff, Niels Mattsson, Centre for Ethics and Law & International Conference on Bioethics and Biolaw - 2000
     
    Export citation  
     
    Bookmark  
  7.  34
    Frontiers of Artificial Intelligence, Ethics, and Multidisciplinary Applications: 1st International Conference on Frontiers of AI, Ethics, and Multidisciplinary Applications (FAIEMA), Greece, 2023.Mina Farmanbar, Maria Tzamtzi, Ajit Kumar Verma & Antorweep Chakravorty (eds.) - 2024 - Springer Nature Singapore.
    This groundbreaking proceedings volume explores the integration of Artificial Intelligence (AI) across key domains—healthcare, finance, education, robotics, industrial and other engineering applications —unveiling its transformative potential and practical implications. With a multidisciplinary lens, it transcends technical aspects, fostering a comprehensive understanding while bridging theory and practice. Approaching the subject matter with depth, the book combines theoretical foundations with real-world case studies, empowering researchers, professionals, and enthusiasts with the knowledge and tools to effectively harness AI. Encompassing diverse AI topics—machine learning, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers.International Conference Aisc & John A. Campbell - 2001 - Springer.
    This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Centripetal in the Sciences.Gerard Radnitzky & International Conference on the Unity of the Sciences - 1987 - Paragon House Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  8
    Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
    The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018).Michael Thielscher, Francesca Toni & Frank Wolter (eds.) - 2018
    No categories
     
    Export citation  
     
    Bookmark  
  12.  1
    Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning.Ronald J. Brachman, Hector J. Levesque & Ray Reiter - 1989 - Morgan Kaufmann Publishers.
    Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland, Or.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event, Rhodes, Greece.Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard (eds.) - 2020
    No categories
     
    Export citation  
     
    Bookmark  
  14. Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), Whistler, BC, 2-5 June 2004.M. Fielding James, Simon Jonathan, Ceusters Werner & Smith Barry (eds.) - 2004
    No categories
     
    Export citation  
     
    Bookmark  
  15. KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning.Chitta Baral, James Delgrande & Frank Wolter (eds.) - 2016
    No categories
     
    Export citation  
     
    Bookmark  
  16.  5
    Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings.John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv & Peter J. Stuckey - 2000 - Springer Verlag.
    These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  8
    Change and Progress in Modern Science: Papers Related to and Arising from the Fourth International Conference on History and Philosophy of Science, Blacksburg, Virginia, November 1982.Joseph C. Pitt - 1985 - Springer.
    The papers presented here derive from the 4th International Confe:--ence on History and Philosophy of Science held in Blacksburg, Virginia, U. S. A., November 2-6, 1982. The Conference was sponsored by the I nternational Union of History and Philosophy of Science and Virginia Polytechnic Institute and State University (Virginia Tech). Particular thanks go to L. Jonathan Cohen, Secretary of the Union, as well as to Dean Henry Bauer of the College of Arts & Sciences, Wilfred Jewkes and the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  11
    Analysis of graduating nursing students’ moral courage in six European countries.Sanna Koskinen, Elina Pajakoski, Pilar Fuster, Brynja Ingadottir, Eliisa Löyttyniemi, Olivia Numminen, Leena Salminen, P. Anne Scott, Juliane Stubner, Marija Truš, Helena Leino-Kilpi & on Behalf of Procompnurse Consortium - 2021 - Nursing Ethics 28 (4):481-497.
    Background:Moral courage is defined as courage to act according to one’s own ethical values and principles even at the risk of negative consequences for the individual. In a complex nursing practice, ethical considerations are integral. Moral courage is needed throughout nurses’ career.Aim:To analyse graduating nursing students’ moral courage and the factors associated with it in six European countries.Research design:A cross-sectional design, using a structured questionnaire, as part of a larger international ProCompNurse study. In the questionnaire, moral courage (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  24
    International Conference on Religion and Globalization.Ruben L. F. Habito - 2004 - Buddhist-Christian Studies 24 (1):241-243.
    In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 24.1 (2004) 241-243 [Access article in PDF] International Conference on Religion and Globalization Ruben Habito Perkins School of Theology The International Conference on Religion and Globalization, with over two hundred participants from thirty-one countries, was hosted by Payap University and its Institute for the Study of Religion and Culture in Chiang Mai, Thailand, from 27 July to 2 August 2003, with the Society (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  22
    Knowledge, attitude and practice of medical ethics among medical intern students in a Medical College in Kathmandu.Ramesh P. Aacharya & Yagya L. Shakya - 2016 - Bangladesh Journal of Bioethics 6 (3):1-9.
    This baseline study was conducted to find out the knowledge, attitudes and practices of medical ethics among the undergraduate medical interns who did not have structured ethics curriculum in their course. A descriptive, cross-sectional study was carried out using a self-administered structured questionnaire among the medical undergraduate interns of Maharajgunj Medical Campus, the pioneer medical college of Nepal which enrols 60 students in a year. A total of 46 interns participated in the study. The most common source of knowledge on (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  54
    Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  29
    A Rationale in Support of Uncontrolled Donation after Circulatory Determination of Death.Kevin G. Munjal, Stephen P. Wall, Lewis R. Goldfrank, Alexander Gilbert, Bradley J. Kaufman & on Behalf of the New York City Udcdd Study Group Nancy N. Dubler - 2012 - Hastings Center Report 43 (1):19-26.
    Most donated organs in the United States come from brain dead donors, while a small percentage come from patients who die in “controlled,” or expected, circumstances, typically after the family or surrogate makes a decision to withdraw life support. The number of organs available for transplant could be substantially if donations were permitted in “uncontrolled” circumstances–that is, from people who die unexpectedly, often outside the hospital. According to projections from the Institute of Medicine, establishing programs permitting “uncontrolled donation after circulatory (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  23.  9
    Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Michael Maher - 1996 - MIT Press.
    Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  8
    Philosophy and Engineering: Reflections on Practice, Principles and Process.Diane P. Michelfelder, Natasha McCarthy & David E. Goldberg (eds.) - 2013 - Dordrecht: Springer.
    Building on the breakthrough text Philosophy and Engineering: An Emerging Agenda, this book offers 30 chapters covering conceptual and substantive developments in the philosophy of engineering, along with a series of critical reflections by engineering practitioners. The volume demonstrates how reflective engineering can contribute to a better understanding of engineering identity and explores how integrating engineering and philosophy could lead to innovation in engineering methods, design and education. The volume is divided into reflections on practice, principles and process, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  30
    Fifth International Conference on Philosophy in Practice.Gerd Achenbach, Eulalia Bosch, Eite Veening, Emmy Van Deurzen, Richard Smith, Ida Jongsma, Joanna Haynes, Dorine Baudin & Karin Murris - 1999 - History and Philosophy of Logic 20:77.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  8
    Research Doctorate Programs in the United States: Continuity and Change.Marvin L. Goldberger, Brendan A. Maher, Pamela Ebert Flattau, Committee for the Study of Research-Doctorate Programs in the United States & Conference Board of Associated Research Councils - 1995 - National Academies Press.
    Doctoral programs at U.S. universities play a critical role in the development of human resources both in the United States and abroad. This volume reports the results of an extensive study of U.S. research-doctorate programs in five broad fields: physical sciences and mathematics, engineering, social and behavioral sciences, biological sciences, and the humanities. Research-Doctorate Programs in the United States documents changes that have taken place in the size, structure, and quality of doctoral education since the widely used 1982 editions. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  8
    Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge: March 19-22, 1988, Monterey, California.Joseph Y. Halpern, International Business Machines Corporation, American Association of Artificial Intelligence, United States & Association for Computing Machinery - 1986
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  17
    Sixth International Conference of the Society for Buddhist-Christian Studies.John Berthrong - 2001 - Buddhist-Christian Studies 21 (1):107-108.
    In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 21.1 (2001) 107-108 [Access article in PDF] Sixth International Conference of the Society for Buddhist-Christian Studies John Berthrong Boston University The society's sixth international conference, held 5-12 August 2000, was an exceptionally successful event for the five hundred plus participants. In great measure the success was due to the conference's scenic and user-friendly location at the Pacific Lutheran University, Tacoma,Washington, and to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  8
    Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings.Vladimir Lifschitz & Ilkka Niemelä - 2004 - Springer Verlag.
    This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  12
    Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings.Bart Demoen & Vladimir Lifschitz - 2004 - Springer Verlag.
    This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  8
    The Christian Understanding of Man.T. E. Jessop & Community and State World Conference on Church - 1938 - G. Allen & Unwin.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  13
    Kant and the Theory and Practice of International Right.Georg Cavallar - 1999 - University of Wales Press.
    This innovative study focuses on the Kantian theory of international relations, a subject which has frequently been either ignored or misunderstood. Kant was criticized by contemporaries who asserted that his political ideas were idealistic and impractical. He countered this accusation by evolving a political philosophy which formed a link between the theoretical doctrine of pure law and the actualities of the real world. The author argues that Kant’s theory of international relations can be read as an attempt to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  33.  9
    Just Interpretations: Law Between Ethics and Politics.Michel Rosenfeld & Professor of Human Rights and Director Program on Global and Comparative Constitutional Theory Michel Rosenfeld - 1998 - Univ of California Press.
    "An important contribution to contemporary jurisprudential debate and to legal thought more generally, Just Interpretations is far ahead of currently available work."--Peter Goodrich, author of Oedipus Lex "I was struck repeatedly by the clarity of expression throughout the book. Rosenfeld's description and criticism of the recent work of leading thinkers distinguishes his work within the legal theory genre. Furthermore, his own theory is quite original and provocative."--Aviam Soifer, author of Law and the Company We Keep.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  7
    ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991.Tim Duncan, C. S. Mellish, Geraint A. Wiggins & British Computer Society - 1992 - Springer.
    Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  20
    Social Agency in International Business Practices: Perspectives on Principled Constructive Engagement.John R. Schermerhorn Jr & William B. Lamb - 2008 - Proceedings of the International Association for Business and Society 19:74-79.
    Constructive engagement in international business practice is defined as purpose-driven behavior in which economic contributions by the foreign investor also advance social progress in the host country. This paper distinguishes between amoral and moral social agency, and proposes a model of principled constructive engagement that describes a principled constructive engagement regime enacted in a disciplined, morally-directed manner.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  10
    A Treatise on the Principles and Practical Influence of Taxation and the Funding System.J. R. McCulloch - 2017 - Cambridge University Press.
    A friend, correspondent and intellectual successor to David Ricardo, John Ramsay McCulloch forged his reputation in the emerging field of political economy by publishing deeply researched articles in Scottish periodicals and the Encyclopaedia Britannica. From 1828 he spent nearly a decade as professor of political economy at the newly founded University of London, thereafter becoming comptroller of the Stationery Office. Perhaps the first professional economist, McCulloch had become internationally renowned by the middle of the century, recognised for sharing his ideas (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  6
    Philosophy in a Time of Lost Spirit: Essays on Contemporary Theory.Ronald Beiner & Conference for the Study of Political Thought - 1997
    In the last two centuries, our world would have been a safer place if philosophers such as Rousseau, Marx, and Nietzsche had not given intellectual encouragement to the radical ideologies of Jacobins, Stalinists, and fascists. Maybe the world would have been better off, from the standpoint of sound practice, if philosophers had engaged in only modest, decent theory, as did John Stuart Mill. Yet, as Ronald Beiner contends, the point of theory is not to think safe thoughts; the point (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  25
    Recasting the Debate on Multiple Listing for Transplantation through Consideration of Both Principles and Practice.Rachel A. Ankeny - 1999 - Cambridge Quarterly of Healthcare Ethics 8 (3):330-339.
    Debates continue to surround the system in the United States for allocating transplantable cadaveric organs, due in large part to the scarcity of such organs in relation to the number of individuals waiting to undergo transplantation. Candidates awaiting transplantation gain access to cadaveric organs by being placed by individual transplant programs on the national list of the Organ Procurement and Transplantation Network, overseen by the United Network for Organ Sharing. In recent years, the UNOS board has visited the issue of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  25
    B. Dunham, R. Fridshal, and G. L. Sward. A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960, pp. 282–285. - B. Dunham, R. Fridshal, and J. H. North. Exploratory mathematics by machine. Recent developments in information and decision processes, edited by Robert E. Machol and Paul Gray, The Macmillan Company, New York1962, pp. 149–160. - B. Dunham and J. H. North. Theorem testing by computer. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N. Y., April 24, 25, 26, 1962, Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 173–177. [REVIEW]Joyce Friedman - 1967 - Journal of Symbolic Logic 32 (2):266-266.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    Nature Animated: Historical and Philosophical Case Studies in Greek Medicine, Nineteenth-Century and Recent Biology, Psychiatry, and Psychoanalysis/Papers Deriving from the Third International Conference on the History and Philosophy of Science, Montreal, Canada, 1980 Volume II.Michael Ruse (ed.) - 1982 - Springer.
    These remarks preface two volumes consisting of the proceedings of the Third International Conference on the History and Philosophy of Science of the International Union of History and Philosophy of Science. The conference was held under the auspices of the Union, The Social Sciences and Humanities Research Council of Canada, and the Canadian Society for History and Philosophy of Science. The meetings took place in Montreal, Canada, 25-29 August 1980, with Concordia University as host institution. The (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  46
    P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 , pp. 28–35. [REVIEW]J. A. Robinson - 1996 - Journal of Symbolic Logic 31 (1):124-125.
  42.  6
    Development and Validation of Chinese University Students’ Physical Activity Motivation Scale Under the Constraint of Physical Education Policies.Bo Lin, Eng Wah Teo & Tingting Yan - 2022 - Frontiers in Psychology 13.
    The accurate measurement of university students’ motivation to participate in physical activity is a prerequisite to developing better physical fitness programs. However, motivation driven by government policies, i.e., physical education policies, are often excluded from many existing scales. The purpose of this study was to develop and evaluate a psychometric instrument based on self-determination theory that exclusively measures the motivation of Chinese university students to participate in PA. A total of 1,215 university students who regularly participated in PA at five (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  23
    Report of an International Conference on the Medical and Ethical Management of the Neonate at the Edge of Viability: A Review of Approaches from Five Countries. [REVIEW]William R. Sexson, Deborah K. Cruze, Marilyn B. Escobedo & Alfred W. Brann - 2011 - HEC Forum 23 (1):31-42.
    Current United States guidelines for neonatal resuscitation note that there is no mandate to resuscitate infants in all situations. For example, the fetus that at the time of delivery is determined to be so premature as to be non-viable need not be aggressively resuscitated. The hypothetical case of an extremely premature infant was presented to neonatologists from the United States and four other European countries at a September 2006 international meeting sponsored by the World Health Organization Collaborating Center in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  14
    Walking the Bodhisattva Path/Walking the Christ Path.Catholic Church United States Conference of Catholic Bishops & San Fransisco Zen Center - 2004 - Buddhist-Christian Studies 24 (1):247-248.
    In lieu of an abstract, here is a brief excerpt of the content:Walking the Bodhisattva Path/Walking the Christ PathU.S. Conference of Catholic BishopsCatholics and Buddhists brought together by Dharma Realm Buddhist Association, the San Francisco Zen Center, and the United States Conference of Catholic Bishops (USCCB) met 20-23 March 2003 in the first of an anticipated series of four annual dialogues. Abbot Heng Lyu, the monks and nuns, and members of the Dharma Realm Buddhist Association hosted the dialogue (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    The origins and approaches of the emergence of a new bioethics and the program “Integrative Bioethics”. Part 2.Thomas Sören Hoffmann - 2018 - Філософія Освіти 23 (2):234-244.
    The article compares different models of bioethics. The dominant model considers bioethics as just a new area of applied ethics focusing in its origin mainly on questions of medical ethics like those rising from reproductive medicine. Within the framework of this concept, the formal application of ethical principles on medical practices is normally understood as a strategy for the preservation of personal autonomy of the individual. Another model linked e.g. to the names of Van Rensselaer Potter or Hans Jonas (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  8
    An Assessment of Research-Doctorate Programs in the United States: Mathematical and Physical Sciences.Lyle V. Jones, Gardner Lindzey, Porter E. Coggeshall & Conference Board of the Associated Research Councils - 1982 - National Academies Press.
    The quality of doctoral-level chemistry (N=145), computer science (N=58), geoscience (N=91), mathematics (N=115), physics (N=123), and statistics/biostatistics (N=64) programs at United States universities was assessed, using 16 measures. These measures focused on variables related to: program size; characteristics of graduates; reputational factors (scholarly quality of faculty, effectiveness of programs in educating research scholars/scientists, improvement in program quality during the last 5 years); university library size; research support; and publication records. Chapter I discusses prior attempts to assess quality in graduate education, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Christianity and the Present Moral Unrest.A. D. Lindsay & Economics and Citizenship Conference on Christian Politics - 1926 - Allen & Unwin.
     
    Export citation  
     
    Bookmark  
  48.  9
    Moral Constraints on War: Principles and Cases.Bruno Coppieters & Nick Fotion (eds.) - 2002 - Lexington Books.
    Moral Constraints on War offers a principle-by-principle presentation of the transcultural roots of the ethics of war in an age defined by the increasingly international nature of military intervention.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  49.  16
    An International Conference on “Hermeneutics East and West” The Pennsylvania State University, May 16–17, 2014.On-cho Ng - 2013 - Journal of Chinese Philosophy 40 (S1):276-279.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  27
    Biologists and the Promotion of Birth Control Research, 1918-1938.Merriley Borell - 1987 - Journal of the History of Biology 20 (1):51-87.
    In spite of these efforts in the 1920s and 1930s to initiate ongoing research on contraception, the subject of birth control remained a problem of concern primarily to the social activist rather than to the research scientist or practicing physician.80 In the 1930s, as has been shown, American scientists turned to the study of other aspects of reproductive physiology, while American physicians, anxious to eliminate the moral and medical dangers of contraception, only reluctantly accepted birth control as falling within their (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 985